Computer algebra

Results: 2963



#Item
631Mathematics / Numerical software / Computer algebra systems / COIN-OR / Mathematical modeling / MINTO / Solver / Linear programming / Lis / Mathematical optimization / Operations research / Numerical analysis

The SYMPHONY Callable Library for Mixed Integer Programming Ted Ralphs∗ Menal Guzelsoy† August 19, 2004

Add to Reading List

Source URL: coral.ie.lehigh.edu

Language: English - Date: 2010-06-19 14:25:53
632Numerical analysis / Matrix theory / Arithmetic / Computer arithmetic / Interval arithmetic / Matrix / Vector space / Determinant / Logarithm / Mathematics / Algebra / Linear algebra

On the Solution of Linear Algebraic Equations Involving Interval Coecients S. Markov, E. Popova and Ch. Ullrichy Institute of Biophysics, Bulgarian Academy of Sciences e-mail: et y

Add to Reading List

Source URL: www.math.bas.bg

Language: English - Date: 2009-01-04 08:49:01
633Group theory / Algebraic number theory / Modular arithmetic / Prime number / Repunit / Multiplication / Mersenne prime / Integer / Abstract algebra / Mathematics / Integer sequences

Faster ECC over F2521 −1 Robert Granger 1 and Michael Scott 2 1 Laboratory for Cryptologic Algorithms School of Computer and Communication Sciences EPFL, Switzerland

Add to Reading List

Source URL: www.iacr.org

Language: English - Date: 2015-03-30 09:25:34
634Artificial intelligence / Computer vision / Abstract algebra / Linear algebra / Hashing / Bloom filter / Hash function / Scale-invariant feature transform / Hash table / Algebra / Mathematics / Search algorithms

Compressed Representation of Feature Vectors Using a Bloomier Filter and Its Application to Specific Object Recognition Katsufumi Inoue and Koichi Kise Graduate School of Engineering, Osaka Prefecture University 1-1 Gak

Add to Reading List

Source URL: www.m.cs.osakafu-u.ac.jp

Language: English - Date: 2009-10-05 04:41:49
635Concurrency / Diagrams / Petri net / Order theory / Adjoint functors / Pullback / Subcategory / Category / Morphism / Category theory / Mathematics / Abstract algebra

Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Labora

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2012-12-03 12:28:12
636Polygons / Rectilinear polygon / Rectangle / Orthogonality / Perspective / Ray / Geometry / Algebra / Optics

Non-orthogonal Ray Guarding Ian Sanders Department of Computer Science University of the Witwatersrand Johannesburg.

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2003-06-20 16:01:56
637Data management / Record linkage / Linkages / Information / Monash University / Linked data / Data set / Mechanical engineering / Data / Computer algebra

DE-IDENTIFIED LINKAGE OF VICTORIAN INJURY DATA RECORDS: A FEASIBILITY STUDY by Angelo D’Elia

Add to Reading List

Source URL: monash.edu

Language: English - Date: 2011-10-18 23:37:38
638Polynomials / Computational number theory / Computational complexity theory / Algebra / Digital signal processing / Fast Fourier transform / Fast Library for Number Theory / Time complexity / Multiplication / Mathematics / Abstract algebra / Theoretical computer science

zn poly: a library for polynomial arithmetic David Harvey, New York University January 8, 2009 David Harvey, New York University

Add to Reading List

Source URL: web.maths.unsw.edu.au

Language: English - Date: 2011-07-17 23:06:27
639Relational model / Relational database / Cluster analysis / Relation / Tuple / Computer cluster / Relational algebra / Superkey / Computing / Statistics / Data management

D:/databaseResearch/project/GoogleBase/proposal/cidr07/final/submissiondvi

Add to Reading List

Source URL: dbgroup.cs.tsinghua.edu.cn

Language: English - Date: 2012-01-09 09:42:51
640Motion planning / Theoretical computer science / Vector space / Angle / Algebra / Mathematics / Robot kinematics

COMPRobot Motion Planning and Multi-Agent Simulation: Fall 2013 HOMEWORK #1 – Due date: Sep. 23, 2013 Notes: 1. You are allowed to discuss the questions. But please write your own answer

Add to Reading List

Source URL: gamma.cs.unc.edu

Language: English - Date: 2013-09-08 15:01:55
UPDATE